Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach
نویسندگان
چکیده
Since the 1980s, software maintenance started to attract attention. Some progress has been made in using formal methods on software maintenance, especially on reverse engineering. This paper attempts to summarise some major advances in this area over the last one and a half decades. Firstly, we introduce program transformation techniques for software development and review the techniques used for software maintenance. We then describe a method for reverse engineering and reusing COBOL programs using program transformations. Finally, we suggest a future investigation direction for this work.
منابع مشابه
Pre-processing COBOL Programs for Reverse Engineering in A Software Maintenance Tool
The Maintainer's Assistant is an interactive software maintenance tool which helps the user to extract a specification from an existing source code program. It is based on a program transformation system, in which a program is converted to a semantically equivalent form using proven transformations selected from a catalogue. This paper describes an environmental support tool, the COBOL pre-proc...
متن کاملReverse-engineering Cobol via formal methods
We describe methods and software tools which aid in reverse-engineering COBOL application programs back to the specification stage (and in validating them against the specification). The aim is to create object-oriented abstractions from the implementation which capture the design concepts accurately, and the central process which the tools support is ‘transformation from formalism to formalism...
متن کاملReverse Engineering of Cobol Programs into Prolog Programs
In this paper we examine how an executable logic speciication can be obtained from COBOL programs via reverse engineering, which is semantically equivalent to the original source. For this purpose we deene a speciication language COPRA and show how various imperative constructs, such as GOTOs and subroutine calls, can be handled in this language. This speciication is generated automatically and...
متن کاملAcquisition of Entity Relationship Models for Maintenance-Dealing with Data Intensive Programs in a Transformation System
This paper presents results of a research programme on reverse engineering using a transformation system for maintenance and focuses on dealing with data-intensive programs such as those written in COBOL. Problems with data-intensive programs are addressed, our solutions to these problems are discussed and the results of experiments are presented. It is concluded that formal transformations pro...
متن کاملSchema Transformation Techniques for Database Reverse Engineering
The paper presents a DBMS-independent database reverse engineering (DBRE) methodology based on a generic process model and on transformation techniques. DBRE is proposed as a two-phase process consisting in recovering the DBMS-dependent data structures (data structure extraction) then in recovering their semantics (data structure conceptualization). The second phase, that is strongly linked wit...
متن کامل